A Calculus of Value Broadcasts
نویسنده
چکیده
Computation can bemodelled as a sequence of values, each broadcast by one agent and instantaneously audible to all those in parallel with it. Listening agents receive the value; others lose it. Subsystems interface via translators; these can scramble values and thus hide or restrict them. Examples show the calculus describing this model to be a powerful and natural programming tool. Weak bisimulation, a candidate for observational equivalence, is de ned on the basis that receiving a value can be matched by losing it.
منابع مشابه
SOME FUNDAMENTAL RESULTS ON FUZZY CALCULUS
In this paper, we study fuzzy calculus in two main branches differential and integral. Some rules for finding limit and $gH$-derivative of $gH$-difference, constant multiple of two fuzzy-valued functions are obtained and we also present fuzzy chain rule for calculating $gH$-derivative of a composite function. Two techniques namely, Leibniz's rule and integration by parts are introduced for ...
متن کاملNON-POLYNOMIAL SPLINE FOR THE NUMERICAL SOLUTION OF PROBLEMS IN CALCULUS OF VARIATIONS
A Class of new methods based on a septic non-polynomial spline function for the numerical solution of problems in calculus of variations is presented. The local truncation errors and the methods of order 2th, 4th, 6th, 8th, 10th, and 12th, are obtained. The inverse of some band matrixes are obtained which are required in proving the convergence analysis of the presented method. Convergence anal...
متن کاملApplication of Mathematics in Financial Management
The Time Value of Money is a important concept in Financial Management. The Time Value of Money includes the concepts of future value and discounted value or present value. In the present article, the basic notions and illustrate with their application in the field of investment which is presented in the mathematical terms in form of theorems and we also presented the applications of some well ...
متن کاملNumerical solution of variational problems via Haar wavelet quasilinearization technique
In this paper, a numerical solution based on Haar wavelet quasilinearization (HWQ) is used for finding the solution of nonlinear Euler-Lagrange equations which arise from the problems in calculus of variations. Some examples of variational problems are given and outcomes compared with exact solutions to demonstrate the accuracy and efficiency of the method.
متن کاملBifurcation in a variational problem on a surface with a constraint
We describe a variational problem on a surface under a constraintof geometrical character. Necessary and sufficient conditions for the existence ofbifurcation points are provided. In local coordinates the problem corresponds toa quasilinear elliptic boundary value problem. The problem can be consideredas a physical model for several applications referring to continuum medium andmembranes.
متن کامل